ObviousListInduction